proof resolved